#include <stdio.h>
#include <string.h>

int main() {
    char a[7] = "a0\0a0\0";
    int i, j;
    i = sizeof(a);
    j = strlen(a);
    printf("%d %d\n", i, j);
}
